위키 홈 Edit 괴델의 불완전성 정리 2024-10-28 See also Gödel’s first incompleteness theorem Gödel’s second incompleteness theorem